Fix writable pagetables when a flush happens in a different
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 15:27:45 +0000 (16:27 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 13 Jan 2006 15:27:45 +0000 (16:27 +0100)
commitc62fffdcdc3490cf5c671eb428f8ca0036b7722a
tree64f003bec9cf9ce81d71af55889be72cd07cd55e
parentf9a0cd1238e845d00000d1dd899917cdb7145e63
Fix writable pagetables when a flush happens in a different
domain, which is temporarily made to run on the wrong
pagetables.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c